Nuprl Definition : fappend 4,23

f[n:=x](i) == if i=n x else f(i) fi 
latex


Definitionsif b t else f fi, i=j
FDL editor aliasesfappend

origin